Availability Model of Critical NPP I&C Systems with K-phase Erlang Distribution of Software Update
نویسندگان
چکیده
This paper is the continuation of the research devoted to enhancing the adequacy of reliability model of Nuclear Power Plant (NPP) Instrumentation and Control (I&C) Systems considering software reliability. The reliability model of NPP I&C systems is a basement from which the availability, safety, risk, and other important characteristics of the system could be assessed. The availability function of a critical NPP I&C system depends on the hardware and software reliability and maintenance. The high availability value of the critical I&C systems could be ensured by following: structural redundancy; maintenance of the system; using the N-version programming; software updates. Thus the NPP I&C system reliability model to ensure its high level of adequacy and applicability has to take into account both software and hardware failures, as well as realistic distribution of software fault correction and K-phase Erlang Distribution of software updates are specified.
منابع مشابه
Cold standby redundancy optimization for nonrepairable series-parallel systems: Erlang time to failure distribution
In modeling a cold standby redundancy allocation problem (RAP) with imperfect switching mechanism, deriving a closed form version of a system reliability is too difficult. A convenient lower bound on system reliability is proposed and this approximation is widely used as a part of objective function for a system reliability maximization problem in the literature. Considering this lower bound do...
متن کاملAvailability Model of Critical NPP I&C Systems Considering Software Reliability Indices
Providing the high availability level for the Instrumentation and Control (I&C) Systems in Nuclear Power Plants (NPP) is highly important. The availability of the critical NPP I&C systems depends on the hardware and software reliability behavior. The high availability of the I&C systems is ensured by the following measures: structural redundancy with choice of the I&C system configurations (two...
متن کاملAvailability of k-out-of-n: F Secondary Subsystem with General Repair Time Distribution
In this paper we study the steady state availability of main k-out-of-n: F and secondary subsystems having general repair time distribution. When more than k units of main subsystem fail, then the main subsystem shuts off the secondary subsystem. The life time distributions of the main units and that of secondary subsystem are exponentially distributed. A repair facility having single repairman...
متن کاملMagnetic Properties in a Spin-1 Random Transverse Ising Model on Square Lattice
In this paper we investigate the effect of a random transverse field, distributed according to a trimodal distribution, on the phase diagram and magnetic properties of a two-dimensional lattice (square with z=4), ferromagnetic Ising system consisting of magnetic atoms with spin-1. This study is done using the effectivefield theory (EFT) with correlations method. The equations are derived using...
متن کاملCyber Security of FPGA-Based NPP I&C Systems: Challenges and Solutions
This paper presents an overview of the state-of-the-art of Field Programmable Gate Arrays(FPGA)-based Nuclear Power Plants (NPPs) Instrumentation and Control (I&C) systems cyber security assurance problem, starting from analysis of regulatory documents that cover various aspects of NPP I&C systems development and operation, FPGA technology implementation, as well as cyber security assessment an...
متن کامل